digraph {
	node [fontname="Courier_New",fontsize=10,style="setlinewidth(0.1)",shape=record];
	edge [fontname="Courier_New",fontsize=10,style="setlinewidth(0.1)"];
	label="main"
	labelloc="t"
	L5 [label="L5"];
	L6 [label="L6"];
	L9 [label="L9"];
	L7 [label="L7"];
	L11 [label="L11"];
	L8 [label="L8"];
	L8:s -> L6:n;
	L11:s -> L8:n;
	L10 [label="L10"];
	L10:s -> L11:n;
	L7:s -> L11:n;
	L7:s -> L10:n;
	L6:s -> L9:n;
	L6:s -> L7:n;
	L5:s -> L6:n;
}
